added a couple of debugging statements