Good information for developers of course, but for us simple minded users who use other peoples themes, won't this fix be rendered moot each time the theme developer updates the theme? Perhaps WordPress should have the forethought to include something like this in the core since it seems so very intuitive. Maybe you can mention it to your buddy Matt?