Fix issue #12.