This code also appears in a slight variation above.