Fix formatting for Github