Syntax highlighting does not work for loop invariants in C

[sakehl]

So great work, and the syntax highlighting looks so much better already. But the following program looks like this for me.

vector_add.c.txt

Where I'd like the loop invariant to also be highlighted.