Try to fix github formatting