Fix bug with display of github repo footer