Fix #237.