The actors sang happily on the stage and the audience cheered.