Fix the Saxon8 instructions.