fix whoisservers.php entries' syntax samples