fix debugging output