Minor formatting fix to docs