Fix up documentation formatting