fix a compilation pb