Fix broken build after d3c34b3c5a4672a456d9277f2b8e077f55c61a6f