Add a cast to satisfy -Wshorten-64-to-32.