#134 minor javadoc update