Minor cosmetic changes inside info.php