Damn clever editors are converting -- to some unicode character