Fix #414.