trivial javadoc updates