Jimmy Carter's subtle jab at Trump's crowd size