applied the bug fix by Ad Holten (see e-mail from Feb. 18, 2013)