Fix issue #3.