This test should not be colored red.