Some other name changing related things

Signed-off-by: emanuele <emanuele45@gmail.com>