Fixed uncaught exn NoSpine in equation-checking