Changed print to verbose_strerr().