When Robert Downey Jr. plays Doctor Doom he better keep the mask on