Fix build

We let this go red.