add more printing to bug547