SML+WEB: fix typo in Jens' name