Minor changes to style correctly the github page.