Fix oops in previous commit.

Professionalism is overrated.