GRIM: Silence a comparison between signed and unsigned warning