fix post-split operator definitions