fixes header link to main page, fixes #20.