Fix documentation (#1)