small fix to the GDEBadge

For Issue #83