Fix documentation markup [ci skip]