diff --git a/docs/examples/fifo/skip_fifo.sby b/docs/examples/fifo/fifo.sby
similarity index 100%
rename from docs/examples/fifo/skip_fifo.sby
rename to docs/examples/fifo/fifo.sby
diff --git a/docs/examples/fifo/golden/skip_fifo.sby b/docs/examples/fifo/golden/fifo.sby
similarity index 100%
rename from docs/examples/fifo/golden/skip_fifo.sby
rename to docs/examples/fifo/golden/fifo.sby
diff --git a/docs/examples/fifo/golden/fifo.sv b/docs/examples/fifo/golden/fifo.sv
index 1d44dae..d5ceadc 100644
--- a/docs/examples/fifo/golden/fifo.sv
+++ b/docs/examples/fifo/golden/fifo.sv
@@ -161,6 +161,7 @@ module fifo
 
     // look for an overfill where the value in memory changes
     // the change in data makes certain that the value is overriden
+    let d_change = (wdata != rdata);
     property read_skip;
         @(posedge clk) disable iff (rst) 
         !ren && d_change |=> $changed(raddr);