Fix return type for DebugEngine __toString()