math/hs-distributive: Fix patch