minor javadoc improvements