a handful of minor javadoc corrections