Fix documentation and installation