let's try this hack to see if it fixes codehighlighting