minor fix in debugging