Updates to manual files