Why the two casts?