Fixup for last commit

Ooops.