Do you want this to be piped to stderr?