fix debugging information