Fix bug 3230 (extraneous debugging info in text).