Fix to help amsplain style.
Typo fix.
Another typo fix.