another small javadoc change