More succinct printing for #3