For the record, the crash only seems to happen if there's more than one tab open when you close the window.