Fixes bug in server.php.