Proper property renaming (short as possible)