Fix highlighting on full example