fixed symbol replacement for highlight