minor documentation mods