bugfix in clone()