diff -r 141ceec06b55 -r 216fc4633800 contrib/perf.py
--- a/contrib/perf.py	Sat Feb 01 09:14:36 2020 +0100
+++ b/contrib/perf.py	Mon Feb 03 09:00:05 2020 +0100
@@ -1536,6 +1536,7 @@
     matters.
 
     Example of useful set to test:
+
     * tip
     * 0
     * -10: