minor JSP cleaning