Document servlet improvements