add some debugging messages