Fix bug in operators