minor javadocs update