More fixes in priority_scheduler example.