minor web.xml work