DEBUG output added