Corrected extraction for the exit instruction