Debugging output added