3acd011d4f
Amazingly this change apparently was not required and was just a typo from Paul. The syntax coloring is extremely nice. Miguel.