small javadoc change