Tiny documentation improvements