Put in some debugging messages