[Carlos] fixing silly syntax error