Fixed a minor bug in web.xml not finding servlet