Fixup for the previous commit

Forgot to change this one.