Add some debugging messages