I wonder if those need to go to STDERR, in general.