The document I'm referring is:
http://www.ti.com/lit/ug/swru191b/swru191b.pdf
Within the section about Timer1 operation, there are a few sentences like:
"An interrupt request is generated if the corresponding interrupt mask bit TIMIF.OVFIM is set together with IEN1.T1EN."
Does this IEN1.T1EN should be better expressed as IEN1.T1IE?
Thanks for your time.