Minor fix to da8b895: added size_t -> int cast