One more try at fixing github syntax highlighting