Added some debugging messages