Fix another bug in the docs