verbose to stderr