A group of children practised swimming in the indoor swimming pool and someone laughed.