Fix typo in 76d564f