This should go on stderr, not stdout.