Added a few debugging statements