(Laura) fixed issue #184: renames are now handled correctly