Fix int precision warnings and 64-bit format args

A couple more warnings fixed after updating to the latest revision.