added in debugging statements