Small fix on web.xml