Fix typo in a description field of web.xml