tiny doc fixes