Small Fixup in the previous commit