Wrong coverage percentage

Hi @paulocoghi, we noticed an issue with 3.7.1 and have patched it to 3.7.2. Could you try that out and see if that fixes your issue?