small changes for debugging