correct servlet mapping