arbitrary upper bound for #1041