fix highlighting for github