The following text should be red: