HTMLReporter bugfix