fix build

this was broken due to 03d4ac7e64c94554a2175bbea7b7c3f83fc485a1 being
stale when it was merged...