Fix issue #4.