print to stderr, not stdout