Minor formatting fix in docs