fixing old highgligher compatibility
Merge pull request #1073 from diegosarmentero/master

fixing old highgligher compatibility
Merge remote-tracking branch 'upstream/master' into bugfixed