minor reformat for markdown (in the documentation)