Fix accidental typo in last commit