fixed the typical web.xml oversight (sigh)