Small javadoc change.