Fix typos in docker-intro.md