bugfixes on Refuel and test-coverage setup