Contribute to repo in order to make @pgrimaud happy