implement #957 Tokenize on dots (as well as whitespace characters)
Merge pull request #958 from dennishendriksen/v13.11.1

Implement #957 Tokenize on dots (as well as whitespace characters)