update Changes after pull request #110

(which fixes GitHub #108)