Debugging statements added