Fix comment text being wrongly colored in some cases