diff --git a/src/hvmc_net/mutual_recursion.rs b/src/hvmc_net/mutual_recursion.rs
index 361ce3427..1c4e5d9bf 100644
--- a/src/hvmc_net/mutual_recursion.rs
+++ b/src/hvmc_net/mutual_recursion.rs
@@ -34,7 +34,7 @@ fn show_cycles(cycles: &[Vec<Ref>]) -> String {
     .map(|cycle| {
       let cycle_str = cycle
         .iter()
-        .filter(|nam| !nam.contains("$"))
+        .filter(|nam| !nam.contains("$C"))
         .chain(cycle.first())
         .cloned()
         .collect::<Vec<_>>()