Tweak difficulty filter, closing #227.