web.xml bug fix