Thank you for the quick fix! And also for the tip about git. Actually I was reading v1.55, and git would work better for me than svn.