Fixes #6651 : Just improving Javadoc.