Fix documentation for docker installation.