Updating: very minor.
Updating: minor tidying up.