Fix theme.php