A choir sang aloud, and the audience from below made an exclamation.