update with svn, fix bug #3