Fix documentation copy-pasta