slight documentation fix