Fixing typo found by @BertrandDechoux