Fixed configuration of DispatcherServlet