correct repo name in Docker index