Actually, it was Coq's fault
[bugfix] the color of a stack level wasn't computed right.