Resync doc wrt. error renaming.

Signed-off-by: Raphaël Barrois <raphael.barrois@polytechnique.org>