Fix documentation formatting

[ci skip]