Fix up info.php to meet CS