minor fix of debugging code.