Fix to GitHub code highlighting