Fix documentation. Thanks @ignacio!