Fixup a little mistake