more javadoc corrections