fix some github formatting