Tiny doc updates