minor fixes to javadoc comments