A group of people clapped in a cheerful chorus.