fix typo in servlet mapping