Fix one misdocumented pin