Little error in name resolving