Fix issue #135.