small change to info.php