Use tagged version of hoa.