Revert another change in the docs