Corrections to Terence

These are various corrections to the works by Terence. These changes do not overlap with changes in pull request #106.