Revert your GitHub screwing up changes

Grrrr.