small modifications to manual