coverage drop

In commit bc2fca13 the coverage was more than 77%. This dropped to 74.5 on the next merge request, without any obvious reason. Investigate the issue.