Small corrections in style.jsp and script.jsp