corrigenda_retractall(ok).