Fixed some unrenamed appearances of Redcat.