Fix literate highlighting