Fix documentation (thanks rbt!)