hotfix (broken tag in web.xml)