Fixed the bad encoding of stop codons. Have no idea where this appalling incident originated.