Fix highlighting issues in article