fix printing of operator constructor definitions