Fix typo in c5c9dcf