minor changes for debugging