fixed filename of web.xml