Bug fixed in the name returned by variable::to_string()