Update red.txt