reformat for lua and CI