minor changes to the servlet