Fix issue #215.