Bugfix: time measurement wrong in async_addTerms