Add AddressFormatter specs; minor amendments to AddressFormatter