A general spring-cleaning (in autumn) to fix up signed/unsigned warnings.