Fix, and simplify API for re-prioritizing elements