Fix typo spotted by @mariosal