Fix a bug in the debug view