Fixed dumb error from a too-quick commit.

Probably time to go to bed soon...