Fixup for the last commit

Oops.