Fix typo introduced in d64b4b8e2e33b87321c50f66a3552af0a3d77647