Additional debugging output added