Fix servlet path.