Instruction to fix the exception (thanks to Nick Moukhine)