Minor fix to avoid crash @ end of interactive event loop --kazu