Fix documentation bugs [ci skip]