Minor changes to notation in the section using the snake lemma.