The entire BigH1 coding sequence has been deleted and replaced by a loxP cassette that contains the mCherry coding sequence.