fixing a bug in (:= name oper)