some slight documentation changes