Fix some minor HttpServletRequest issues