Fix #401