Fix documentation errors. #3893