flush

This appears to work after a very rigorous testing regimen: I tested core-selector 10 times before this change (7 runs failed due to one of the IEs), and 10 times after this change (0 failed runs)

cc @morethanreal @azakus