Fix #393