Silly bug in Servlet