Fix issue #51.