Added immediate corrections by Cathrin.
Made PR-tree discussion a bit more... active.