Removed distributive upper bound (fixes #29)