Adding Theme Tailor Marketpress Front End Plugin To Marketpress

Has anyone here added the Marketpress front end plugin from Theme Tailor to Marketpress? I'm attemting to work my way through the tutorial this link .
Specifically the section where you activate and customize the theme (step # 7...I've pasted the section below where I'm confused about what the author wants done. Anyone able to decipher this?

7) We also need to modify header.php to place some code to make user/site registration easier and add few lines of jQuery.

Open it and between line 14 & 15 after and before add the following:

Now after line 35 and before this code: }

$options = get_option('framemarket_theme_options');

Add this:

if ( is_user_logged_in() ) {
global $current_user;
echo '