These are error messages, should go to sys.stderr