If formal name is null, use the local name.