Fix to web.xml reference.