Significance: patch
Type: fix

Fix badge size issue when a number larger than 3 digits is used.