John Roberts has to correct Trump's lawyer twice