Taint Propagation sections renamed/added