Tiny documentation fixes