fix a type in docker-index.md