Bug fix in EncoderDebugger