for debug/testing might want to know the index (or conceivably try harder on subsequent times); let's remove in time if not needed