HTML report takes -nocov into account