Add a new bug when using source highlighting