switched to 13pt termsyn