Format file and fix a warning when synchronizing menus