Renamed some results