Correcting a small typo in the previous commit