minor tweak to the jacoco documentation