Minor correction from @nmdguerreiro's comment