more changes to web.xml