Fix typo noticed by @alaindomissy