#962: #944: punctuation changes
opened by thuchacz