Fix priority donation example.