minor punctuation change

Minor punctuation change