fix theme.php