diff --git a/docs/examples/fifo/golden/fifo.sby b/docs/examples/fifo/golden/fifo.sby
index 605307b..824f359 100644
--- a/docs/examples/fifo/golden/fifo.sby
+++ b/docs/examples/fifo/golden/fifo.sby
@@ -3,7 +3,6 @@ basic bmc
 nofullskip prove
 cover
 bigtest cover
-basic cover : default
 
 [options]
 cover:
diff --git a/docs/examples/fifo/golden/fifo.sv b/docs/examples/fifo/golden/fifo.sv
index 18eb984..2ef5cca 100644
--- a/docs/examples/fifo/golden/fifo.sv
+++ b/docs/examples/fifo/golden/fifo.sv
@@ -31,7 +31,7 @@ module fifo
 );
     // fifo storage
     // async read, sync write
-    wire [3:0] waddr, raddr;
+    wire [ADDR_BITS-1:0] waddr, raddr;
     reg [7:0] data [MAX_DATA-1:0];
     always @(posedge clk)
         if (wen)