Fix MP2kScanner regression caused by an old minor change.