Fixing ExitStmt