Flaggan svajade på half stång.