Fixes #47: broken highlight for 3rd party extensions