I applaud you for finding those errors in the doc about "returns an unspecified value" and in finding these sample-implementation bugs.
I agree that a sample implementation should be a "correct" implementation. I also think that any new sample implementation code produced today should easily drop in to a conforming R7RS implementation and just work without changes.