not created in this patch, but I expect this flush() makes things quite a lot slower.