Fixed an error that had to do with the highlighter.
Fixed an error that had to do with the highlighter.

gridclub/gridclub.github.io,gridclub/gridclub.github.io,gridclub/gridclub.github.io,gridclub/gridclub.github.io