fix github formatting