trivial change to web-xml