two tiny javadoc corrections