Fix issue #120.