minor changes

for the debugging