Fix issue #12)