fix warning about printf type