fix web.xml (facepalm)