Fix formatting issue on Github