I could swear these ketchup packets used to be bigger.