minor typo: duplicate punctuation mark