server.php: fix typo, see issue #21