Fix for another unexpected TERMINATOR