minor typo in info.php comment.