Fix issue #157.