change to a formal name