Fix typo in web.xml in Spring 3.2 variant.