Small improvement to Javadoc.