Minor punctuation change.