Fix #259.