Fix #253.