OK, terminate properly when all is done