added some debugging statements for testing