tiny documentation fix