adding some debugging facility