fix servlet name