minor javadoc change