Correct invocation of Exit