Added more information on options when exiting a catch block.