Fix `replace-symbol', which I must've written while drunk or something.