Fix github formatting