fix typo in recent commit

Trivial typo fix, please merge to get back a working HEAD.