Revert "Piece of documentation"

This reverts commit 1a909cf6c90d1de3e89bf44626b7433eac79de16.