fix detail::priority_queue_top.