remove some leftover occurences of ~=