Fix: link to the Docker repository