Fixes the highlighting on Github