setarch misc

One fix and one debatable feature.

Regarding the fix, should we write verbose output to stderr instead of stdout?