Fix a signedness issue