quick fix for pasting source with highlighting