Fix build following merge.