This commit corrects an unintended typo!