missed * for javadoc in Sphinx.java