Tentative fix for a badly used Option.get in Reductionops.