Added hack to correct gitHub highlighting