Exon 2 was replaced with a modified one in which the selenocysteine (TGA) was mutated to an alanine encoding triplet (GCA) at position 46 (Sec46Ala). Flp-mediated recombination removed the FRT- and loxP-flanked neomycin resistance cassette inserted downstream of exon 4.