Fix the criterion patch
Upper bounds for #269 and #270