add missing punctuation, fix #71681