Remove any URL from Google via Webmaster Tools (opens in new tab)

Doesn't the URL need to blocked in robots.txt too? It'd be interesting to see if it does cause the site to drop out (even temporarily). Hopefully Google can patch this.