Slight documentation fix