You are right. I copied the example from `eng_highlight`.