Fix web.xml display name