Minor improvement in tainting graph construction.