The former was already correct. :)