Fixing @edwardhorsford's mess
Revert commit that undid accidental push to master

This reverts commit 3a70057bf2192658a669a803021ceeadb8b1c36a.