Add files that I forgot to svn add in 201578.