minor tidyup for release;