some bugfixes in coverageGATK