Fixed without a CHANGES note.

I committed without review to silence the error as quickly as possible.
Mukund okayed it after the fact.