minor tidying, so the javadoc comment still aligns with the relevant object.