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

fixing old highgligher compatibility