some touching up of the docs