CSS customization clarification

The install.txt has says:

I provided couple of different stylesheets for different looks.
To change the stylesheet, just find a following line in interlaced.theme file

<link href="themes/interlaced/styles1.css" rel="stylesheet" type="text/css" />                 
   
and rename 'styles1.css' to 'styles2.css' or 'styles3.css' or 'styles4.css'

Whereas the theme file actually has this instead:

<link href="themes/interlaced/default.css" rel="stylesheet" type="text/css" />

Relatively harmless, but just thought I would point it out as it confused me (a newcomer to Drupal) momentarily.