punctuation change

Fixes Issue #6828