Fix servlet mapping