replace some prefix-ops, which messes up js-beautify