Fix formatting for github