Added a // Themes comment to bootstrap.php