fixes highlighting