Small javadoc corrections