Fix wrong default upper bound