demo: nicer output of IR points - fix unneccesary newlines