minor fixes for edgecase in error reporter