a bit of cleanup in web.xml