Fix example hilighting...