Fix a bug in styling for 4-digit numbers