Fix build

(fixup for ec5df5c5752e1cfa02d13685d912a26809ce6c81)