This fixes a type error on hosts where ptrdiff_t is wider than int.
Attach a file by drag & drop or click to upload