added workaround for highlighting for Mac OS X and Windows