Carsten Dominik <carsten.dominik@gmail.com> writes:

Hi Carsten,

> Yes, I think it is fixed now.

Nearly, now the first colon isn't fontified.  Here's a patch.