some minor documentation mods