Tweak barf_text output a bit