Fix warning: comparison of integers of different signs