Bug: fix another signed/unsigned mismatch.