Fix substitution from -> to ~>