minor fix to javadocs