minor servlet modification