The finally() operator