another attempt to fix the coverage (#42)