Small javadoc change