Oops, fix niceness during print