カバレッジが正しく出力されていなかったので修正