Fix typo in deca49c433053ffbe16c47717cc672c767e88aec