Correct minimal/vimp coloring code