slight documentation fixes