From SVN commit #83994 by d.tenenbaum

more svn.......1%

Committed to SVN at 2013-12-06T21:33:58.337324Z