fix was added to EasyPrivacy: https://hg.adblockplus.org/easylist/rev/2f642cff93bb