Revert to Adam R.'s commit

I do not know in git how to revert.