added a few debugging statements