For single-line comments, is the entire line supposed to be highlighted? Currently this is the result: 