coverage_key corrected for loading