Tiny documentation fix