Remove setHighlightingRecursive and simplify the body of setHighlighting. Fixes #14.