Fix compilation-breaking typo from previous commit.

I had fixed this before pushing the previous commit, but apparently
forgot to "git commit -a --amend". Sorry about that.