I have added the doctoring modifications you suggested.