More github formatting fixes.