fix typo in servlet-mapping