Make GitHub syntax highlighter happier.