Fix finally (maybe) info.php