This should not be red.

This should not be green.