Fix issue #1.