Minor punctuation fix.