Revert previous commit.

Oops, I changed the wrong version. (What I meant to change isn't even on my Github repo.)