Fix #247.