Fix issue #45.