Should these error message be printed to `, file=sys.stderr`?