Get mutex for Flush(), too.