another minor modification to generate_redundantinfo