fix an issue with unterminated doc comments