we now print this message to stderr instead of stdout