recursion bug in invertible_operator fixed.