Fix issue #44.