So did Luigi actually die?