Fix documentation [ci skip]