FIX: source highlighting.