Updated editor so that it doesn't highlight things that shouldn't be highlighted"