Fix build breakage introduced by 6c10c2770c718287f9cc2af4109b701fa1057b70