That is indeed true, but it's only used for changing the color of the text, so I don't think that it matters too much.