Improve Set printing, fix #7153