bugfix in operators