This #f should be ``#f`` ... there are other instances of this too (but be careful that you don't substitute ones in code-blocks.