Add forgotten comma in a comment.