Adding some debugging messages