Fix typo introduced in 99c801f7b8a3f9dbeea210464f253b87b2212cd6