Fix problem in info.php file