Add some code related to threading of suffixerator; cosmetics