Tiny doc update