javadoc minor fixes