Terminology tweak
Annotate branch coverage in HTML report