holoirc: reformat code