Doc formatting fixup