Updated whatis.php (mostly spacing)