print to stderr, or no?