auto-rerun to avoid all this randomness ...