info goes to stderr