minor cleanings in the documentation