use more generic .quit()