Some small fixes. Still a bug to figure out, which crops up via
printPointers2().
Some fixes. Still a bug arising in the restoration.