Make source highlighting work without crashing (still need to learn how to use it)