Hello,

this patch fixes two problems:

1. Wrong coloring of the 'd' in 'end' (syntactic keywords
   gave the 'd' comment end syntax).

2. "end" after a "document" is now colored as a keyword.

David