michael@0: michael@0: michael@0: There should be no red