Fix build break overlooked during merge