Some lint modification : be warned : not sure it's working \!