Fix some s/~>/->/