Corrected an egregious TLA error