Shorten a line, fix strange highlighting of $.