correct a misname, make it side-effecty