Bugfix

We now rely on subversion banning