Minor change - fix a problem with unsigned int