Fix #401.