highlights terminated correctly