Tiny comment changes to stop setting off Javadoc warnings.