Some minor javadoc changes