I wonder if the flag was updated after what happened to Deimos.