Miranda also opened up about his hesitancy to delay the release of the musical amid the COVID-19 pandemic.

Lin-Manuel Mirandais shedding light on his decision to change the mention ofDonald Trumpin hisIn the Heightssong “96,000.”

“He was just, like, a famous rich person.

Lin-Manuel Miranda, Donald Trump

John Shearer/Getty; Win McNamee/Getty

Then when time moves on and he becomes the stain on American democracy, you change the lyric.

Time made a fool of that lyric, and so we changed it.”

“It got to a point where teasing didn’t quite cover it.

In the spirit of the movie, his name doesn’t have a place in a teasing way.”

“I very publicly was the one person who was really against it,” he said.

Chu added how his experience working onCrazy Rich Asianshelped him when it came to castingIn the Heights.

“You’re not going to find them at an agency.

Agencies won’t rep them because there’s no roles for them.”

And the rest, other people are going to fill.

We got to crack it open a little bit."

In the Heightsis set to premiere in theaters and HBO Max on June 11.