minor changes in github_profile page