Another try at fixing github code highlighting.