fix warning on 64bits