#619: It's always a bad sign when the font is pink...