I am a US citizen, permanent resident of Spain and receiving Social Security retirement pension paid by the Spanish Social Security system.
The US-Spain tax treaty reads as follows:
(a) pensions and other similar remuneration derived and beneficially owned by a resident of a Contracting State in consideration of past employment shall be taxable only in that State; and
(b) social security benefits paid by a Contracting State to a resident of the other Contracting State or a citizen of the United States may be taxed in the first-mentioned State.
According to that, I understand that Spanish Social Security retirement pension, while residing in Spain, is not taxable in the US and should not be included in 1040. Am I correct?