fixing upper bound