Fix an error in the non-HTML output of bugreport.