small fix to docs to make markdown produce a double dash rather than a single

I ran into this hard to spot problem when copying and pasting.