A group of men were singing cheerfully on the stage, and the audience applauded neatly.