Again, thanks for the prompt reply -- I just posted that question! The crack itself does not go into the basement, at least as far as I can tell. I'll see if we have any leaking during and after the rain.
When the rain is past and things have dried out, I was thinking of putting some caulk or silicone in the crack. Is this a good idea?