Fix bug in operator resolution