fix build: bad insertion with 4.2.2 merge