small change to servlet