Fix #402.