documentation correction

This reverts commit b492d84a3f80385c7d6e0ad3d6b60e3a6d4885fd.