fix minor print bugs