[Vivi,Godwin] Fixing bug in prioritizer