fixed various issue with renaming
-- Git-author: Jocelyn FIAT <jfiat@...(none)> -- Git-id: 9a88f5449dbbd2b6b452974612d90768f8999efb
Authored by: jocelyn_fiat 1970-01-01
Parent: [r33]
Child: [r35]