Fix bug in US Zipcode formatting.