inserted debugging statements