cosmetic changes to the documentation

(more to come)