[minor] format web.xml