Fixed the github ribbon, fixes #165