Fix issue #247.