http://digg.com/robots.txt looks fine too me