Fixing github ribbon bug