Fix a false-positive warning in the slycat-dump.py utility.