minor changes to JSP