Changing Header to my logo in Autofucus theme isn't working

I followed these instructions and it’s not working:
1. Browse to wp-content/themes/autofocus
2. Open header.php with a text editor (vi works wonders)
3. Go to Line 31, it should look like <h1 id=”blog-title”>/” title=”<?php bloginfo(‘name’) ?>” rel=”home”><?php bloginfo(‘name’); ?></h1>
4. Remove or comment out that line
5. Insert at the same place /” rel=”home”><img src=”image_url” border=”0″ alt=”logo”> where image_url is the URL of your logo (this should be somewhere on your server or another web-accessible place). Use absolute URL if you use mod_rewrite to clean up your permalinks so that the logo’s visible on all your pages.

I edited this (or tried to) from my dashboard, not from a text editor.