Fix issue #251.