add punctuation to the language
remove the properties title of the theory page