Fix issue #126.