HoiAddressBook: debugging