Fixed: highlight demo broken

Removed old code that must have gotten committed by accident, which was breaking the highlight demo.