Your edit is correct. Non-transcendentals are algebraic by definition, and the algebraic numbers are countable.