public function fixDoubleSlashBug() {

		$theme = wp_get_theme();
		if ( ! $theme->exists() || ! $theme->is_allowed() ) {
			return; // Do nothing
		} else {
			switch_theme( $theme->get_stylesheet() );
		}
	}