some mods to the documentation