Fix typo. That was a late commit...