Fix FTBFS introduced by ddb61e60