Code style nit: there is an additional space before `addr1`