Patches a typo from the last commit