Reflects Michel's comment on aa503abfa79145efc0840c79210e795e1b76df84.