web.xml bugfix