minor javadoc fixes