fix a compilation issue (...from preceding pruning)