fixes by Shlomi and adding header to the Gittip section