diff --git a/fuzzers/056-rempips/Makefile b/fuzzers/056-rempips/Makefile
index 9b0c4428..339a1cff 100644
--- a/fuzzers/056-rempips/Makefile
+++ b/fuzzers/056-rempips/Makefile
@@ -21,7 +21,7 @@ todo.txt:
 	python3 maketodo.py | sort -R | head -n10 > todo.txt
 
 run:
-	+set -ex; while make clean; make todo.txt; test -s todo.txt; do make; make pushdb; done; true
+	+set -ex; while make clean; make todo.txt; test -s todo.txt; do if make; then make pushdb; fi; done; true
 
 clean:
 	rm -rf .Xil/ .cache/ filtered_seg_int_[lr].segbits
diff --git a/fuzzers/056-rempips/README.md b/fuzzers/056-rempips/README.md
index 95e6f806..3fc3d3e0 100644
--- a/fuzzers/056-rempips/README.md
+++ b/fuzzers/056-rempips/README.md
@@ -4,3 +4,7 @@ Fuzzer for the remaining INT PIPs
 
 Run this fuzzer a few times until it produces an empty todo.txt file (`make run` will run this loop).
 
+This fuzzer occationally fails (depending on some random variables). Just restart it if you encounter
+this issue. The script behind `make run` automatically handles errors by re-starting a run if an error
+occurs.
+