documentation changes, mostly