Adding debugging statements