Modified the argument names and HTML structure of OpenntfServlet slightly, for good measure.