Fix a 32-big conversion warning in 11970 fix