Minor javadoc change