Minor punctuation fix (from new machine)