diff --git a/lee/state_machine/src/validated_state_diff/tests.rs b/lee/state_machine/src/validated_state_diff/tests.rs
index 0f274aaaf..f8059924f 100644
--- a/lee/state_machine/src/validated_state_diff/tests.rs
+++ b/lee/state_machine/src/validated_state_diff/tests.rs
@@ -396,8 +396,7 @@ fn privacy_malicious_programs_cannot_drain_private_victim() {
 fn malicious_programs_cannot_drain_victim_without_signature() {
     // p2_id, simple_balance_transfer_id, victim_id_raw, victim_balance, victim_nonce,
     // victim_program_owner, recipient_id_raw, amount.
-    // Primitives only — AccountId/Account cannot round-trip through instruction_data
-    // via risc0_zkvm::serde (SerializeDisplay issue).
+    // Primitives only — this instruction is borsh-encoded into instruction_data.
     type InjectorInstruction = (
         lee_core::program::ProgramId, // p2_id
         lee_core::program::ProgramId, // simple_balance_transfer_id
diff --git a/lee/state_machine/test_methods/guest/src/bin/malicious_launderer.rs b/lee/state_machine/test_methods/guest/src/bin/malicious_launderer.rs
index b063e3dbd..34089fc63 100644
--- a/lee/state_machine/test_methods/guest/src/bin/malicious_launderer.rs
+++ b/lee/state_machine/test_methods/guest/src/bin/malicious_launderer.rs
@@ -1,6 +1,6 @@
 use lee_core::program::{ChainedCall, ProgramId, ProgramInput, ProgramOutput, read_lee_inputs};
 
-/// Instruction: (`auth_transfer_id`, `amount`) — both primitive, safe for `risc0_zkvm::serde`.
+/// Instruction: (`auth_transfer_id`, `amount`) — both primitive, borsh-encoded.
 type Instruction = (ProgramId, u128);
 
 fn main() {