Oh, sorry, I was wondering if there should be a default value for the `priority` argument, here or elsewhere.