bugfix
working on specification of operators