Fix issue #14.