Undo the last commit

Coveralls just seemed to hiccup. It eventually worked properly.