MStore fixes and don't confuse same priority with equality.