Revert doc, suggested by Bruno.