Changed rec to be an identifier.