Fix web.xml welcome file bug