Flushing top-level, no functional changes