small servlet changes