sync (minor): Fix non-ASCII character in comment.