Minor fix to github ribbon