fix formatting github