fix 24359: it wasn't just the UI file affected...