Main: less output, for easier copying to files