minor modification to generate_redundantinfo.py