Fixed (self-introduced) bug in web.xml

I accidentally had overwritten @autermanns change with my previous
commit.