Fix build broken by b6c8c27f4449664fb1497fea84e07a0e92b08f94.