fixing a very small typo in the last commit