fix highlighting on second example