Fixed (self-introduced) bug in web.xml

I accidentally had overwritten @autermanns change with my previous
commit.
Merge pull request #78 from bpross-52n/master

Fixed (self-introduced) bug in web.xml