minor javadoc comment fixes