This paper presents two corrected formulations to the mixed integer quadratically constrained programming model of the Traveling Car Renter Problem (CaRS), proposed by da Silva and Ochi (2016, An efficient hybrid algorithm for the Traveling Car Renter Problem. Expert Systems with Applications, 64, 132–140). In the CaRS, various vehicle types are available for rent in the cities, each one with its own rental cost; when a car is returned to the city where it was rented, an additional tax must be charged, the objective is to construct a Hamiltonian circuit that minimizes the total cost of the circuit plus the return cost of cars. We highlight the original formulation errors, propose corrections to these errors, provide an analytical validation of the corrections, and present computational experiments using a MIP solver.