Final changes to source highlighting