Fix syntax error in scripts/gendiff.py