Fix warning found by -Wshorten-64-to-32