The invariant uridine of stop codons contacts the conserved NIKSR loop of human eRF1 in the ribosome