minor changes for debugging.