* Bug concerning the highlighting of quotes fixed