I think you are right.

Edit: that the sum of two finite ordinals cannot be infinite is obvious. One definition of addition is that you make a disjoint union of and and make every element of greater than any element of . Well, in taking a union of two finite sets you will never get an infinite set.