I added back the lines I had deleted.