And print the right thing