pts-core: ; typo