Fix last EXIT in SEE