make github syntax highlighter happier