Fix #402