Fix documentation bugs