Your colleague did the right thing. Better to speak up than to die wondering. A professional would be happy that you have drawn there attention to a dangerous situation. Even if I had sorted the problem out previously and you mentioned it, I would be glad that someone is taking an interest and politely tell you it has been fixed, thanks for your attention.
If in doubt? Speak Out!