Outside, a band performed onstage.