update corrigenda.md for redcarpet