Is the `Linux` of this line correct?