Fix github syntax highlighting bug.