MADS: Fix issue in KernelMessages::processText()