fixed left-over, now-wrong comment about how decrease in numeric priority means incre...