I've been doing a lot of work with drupal recently. The documentation is somewhat unreliable on their site. I've found quite a few instances where there has been code that doesn't work or at least now in my version of drupal. If you're having issues with customising the search box as demonstrated in this article, try using this code instead in your theme (search-box.tpl.php):
