bug fix in new compute_redundantinfo