Fix zipcode nomenclature on Ali's post