minor updates.
update source code for the prioritization method on top of RelaxMap implementation.