I think this should be an em dash, not an en dash. Can we use the proper unicode character rather than escape it? —