fixes in spring-servlet.xml