Tiny doc fixes